Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
121	Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis Fabian Hueske Aljoscha Krettek Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Parallel computing Computability theory Subroutines Theoretical computer science Distributed computing architecture MapReduce Data-intensive computing User-defined function MAD Recursion Algorithm Big O notation
122	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
123	Intro RAND & DNC WWKL & RWWKL Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:15 Mathematics Computability theory Theoretical computer science Theory of computation Reverse mathematics Computable function Graph coloring Randomness Rand RAND Corporation
124	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
125	DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-07-04 03:53:43 Mathematics Mathematical analysis Theory of computation Computability theory Theoretical computer science Computation in the limit Computable function Differential forms on a Riemann surface Congruence lattice problem
126	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:39 Computability theory Mathematics Mathematical logic Mathematical analysis Primitive recursive functional Symbol Continuous function Primitive recursive function operator Spectral theory of ordinary differential equations
127	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Logic Computability theory Mathematical logic Proof theory Mathematics Reverse mathematics Model theory
128	A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-04-18 10:49:58 Proof theory Computability theory Dialectica interpretation Intuitionism Symbol operator Primitive recursive functional
129	Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme Add to Reading List Source URL: cca-net.de Language: English - Date: 2008-08-19 05:08:00 Computability theory Computable function Computable analysis Recursively enumerable set Oracle machine Computability High Reduction Mathematical logic
130	Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:11:23 Computability theory Primitive recursive functional Proof theory Continuous function Spectral theory of ordinary differential equations It diffusion

UPDATE